Marc Petit-Huguenin
Results
3
comments of
Marc Petit-Huguenin
I do not think the presence of the ttc file is the problem: In a clean directory creates two files, a Test.idr containing `module test` (so it is incorrect) and...
My 2 cents: As a software developer, the mathematical notation is puzzling -- there is no standard for that representation, and it is quite usual that math papers start by...
http://www.cs.ox.ac.uk/people/jeremy.gibbons/publications/squiggol-history.pdf