pl/frap
1
0
Fork 0
mirror of https://github.com/achlipala/frap.git synced 2024-11-10 00:07:51 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions
224 commits 1 branch 0 tags 1.6 MiB
Commit graph

8 commits

Author SHA1 Message Date
Adam Chlipala
fdc5d2dee2 MessagesAndRefinement: gratuitous_composition_expanded 2016-05-08 15:56:15 -04:00
Adam Chlipala
012a3cc78a MessagesAndRefinement: gratuitous_composition 2016-05-08 09:24:00 -04:00
Adam Chlipala
9806321af1 MessagesAndRefinement: refines_add2_with_tester 2016-05-07 21:43:06 -04:00
Adam Chlipala
137121dcdc MessagesAndRefinement: refines_Par 2016-05-07 21:25:37 -04:00
Adam Chlipala
db7a355195 MessagesAndRefinement: refines_Dup 2016-05-07 19:22:12 -04:00
Adam Chlipala
86516a58ec MessagesAndRefinement: add2_once_refines_simple_addN_once 2016-05-07 18:50:04 -04:00
Adam Chlipala
d18dc3044e MessagesAndRefinement: trace refinement 2016-05-04 15:52:42 -04:00
Adam Chlipala
c3935ce842 MessagesAndRefinement: base syntax and semantics 2016-05-04 15:29:34 -04:00