Activity
mrjazzybreadCombinator definitions (ion and tiago)
Combinator definitions (ion and tiago)
Working with Tiago and Ion on some combinators.
Working with Tiago and Ion on some combinators.
mariojppereiraNo more [Variable] in the list combinator.
No more [Variable] in the list combinator.
Combinator to enumerate the elements of list [xs], in order
Combinator to enumerate the elements of list [xs], in order
Proof of [invert_leadsto_snoc] lemma.
Proof of [invert_leadsto_snoc] lemma.
fpottierNew tactic [simplify_list_eq], and a few higher-level proofs.
New tactic [simplify_list_eq], and a few higher-level proofs.
Work on the conversion between automaton and space.
Work on the conversion between automaton and space.