Emacs mode for Hare lang. Fork from https://git.sr.ht/~laumann/hare-mode
-
Updated
Mar 1, 2024 - Emacs Lisp
Emacs mode for Hare lang. Fork from https://git.sr.ht/~laumann/hare-mode
This repository contains examples of Hare programming language.
The Tortoise and the Hare in Coq. Constructive extraction via Bar inductive predicates (see README.md below).
Hare is a systems programming language.
System information command line program written in Hare
Adds Hare Syntax Highlight to Sublime Text
One of the most complex programs I have made in my college career, this simulates a race between X tortoises and Y hares
Add a description, image, and links to the hare topic page so that developers can more easily learn about it.
To associate your repository with the hare topic, visit your repo's landing page and select "manage topics."