Commits

Show all
Author Commit Message Labels Comments Date
Pavel Perikov
example of ARINC downcast
Pavel Perikov
NatProxy type generation template haskell
Pavel Perikov
Stuck at the point that a == b does not imply a <= b
Pavel Perikov
Towards ARINC interpretation
Pavel Perikov
initial commit