markokoleznik/agda-writer markokoleznik/agda-writer

  • Stars
    star
    31
  • Rank 815,212 (Top 17 %)
  • Language
    Objective-C
  • License
    Other
  • Created almost 10 years ago
  • Updated almost 9 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
markokoleznik/agda-writer
github

markokoleznik

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

A simple GUI for Agda

More Repositories

1

gas-prices

Python
7
star
2

escape-room-ue4

Escape Room done in Unreal Engine 4
C++
2
star