fregexample by tfausak

An example Frege project.

updated at Jan. 27, 2023, 9:51 p.m.

2 +0

3 +0

0 +0

frege-lein-template by Frege

Template for creating new frege-lein projects.

updated at Aug. 13, 2019, 4:03 p.m.

7 +0

8 +0

1 +0