Skip to content

The third home of the bare Programming Language (1st there's my heart, the forest came second and then there's Github :)

License

Notifications You must be signed in to change notification settings

GarrenSouza/bare-PL

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 

History

23 Commits
 
 
 
 
 
 
 
 
 
 
 
 

Repository files navigation

the Bare PL

 $$$$$$$$$$$$**$$$$$$$$$**$$$$$$$$$$$$$$$
 $$$$$$$$$$"   ^$$$$$$F    *$$$$$$$$$$$$$
 $$$$$$$$$     z$$$$$$L    ^$$$$$$$$$$$$$
 $$$$$$$$$    e$$$$$$$$$e  J$$$$$$$$$$$$$
 $$$$$$$$$eee$$$$$$$$$$$$$e$$$$$$$$$$$$$$
 $$$$$$$$b$$$$$$$BARE$$$$$$$*$$$$$$$$$$$$
 $$$$$$$)$$$$P"e^$$$F$r*$$$$F"$$$$$$$$$$$
 $$$$$$$d$$$$  "z$$$$"  $$$$%  $3$$$$$$$$     
 $$$$*"""*$$$  .$$$$$$ z$$$*   ^$e*$$$$$$
 $$$"     *$$ee$$$$$$$$$$*"     $$$C$$$$$
 $$$.      "***$$"*"$$""        $$$$e*$$$
 $$$b          "$b.$$"          $$$$$b"$$
 $$$$$c.         """            $$$$$$$^$

Lean = Lean Code + Lean Maschine

The first implementation of bare (called Lean as a word play for Lín, western representation of the chinese 林 - forest) was done resembling the Java runtime, where an intermediate representation is produced from the source code (Lean Code) and it is then executed in a compatible machine (such as the Lean Maschine). You can check out more details covering from the rationale to a deep analysis of how bare came to be right here (Pt-BR only).

Running

python3 bare.py <path_to_source>

Authors

Garren Souza
Pedro L. Mondadori

License

MIT License