search

jonsterling / racket-grit

Grit: the kernel around which a PRL forms
Other
3 stars 0 forks source link

Choose name for project #17

Closed jonsterling closed 7 years ago

jonsterling commented 7 years ago

We had a few ideas, but I think my favorite was grit: the kernel around which a PRL forms

@david-christiansen @cmr

david-christiansen commented 7 years ago

+1

emberian commented 7 years ago

+1

david-christiansen commented 7 years ago

When a proof has been done, we can print


      _____                    _____                    _____                    _____                            _____                    _____                    _____                _____          
     /\    \                  /\    \                  /\    \                  /\    \                          /\    \                  /\    \                  /\    \              /\    \         
    /::\    \                /::\    \                /::\____\                /::\    \                        /::\    \                /::\    \                /::\    \            /::\    \        
    \:::\    \              /::::\    \              /:::/    /               /::::\    \                      /::::\    \              /::::\    \               \:::\    \           \:::\    \       
     \:::\    \            /::::::\    \            /:::/    /               /::::::\    \                    /::::::\    \            /::::::\    \               \:::\    \           \:::\    \      
      \:::\    \          /:::/\:::\    \          /:::/    /               /:::/\:::\    \                  /:::/\:::\    \          /:::/\:::\    \               \:::\    \           \:::\    \     
       \:::\    \        /:::/__\:::\    \        /:::/    /               /:::/__\:::\    \                /:::/  \:::\    \        /:::/__\:::\    \               \:::\    \           \:::\    \    
       /::::\    \      /::::\   \:::\    \      /:::/    /               /::::\   \:::\    \              /:::/    \:::\    \      /::::\   \:::\    \              /::::\    \          /::::\    \   
      /::::::\    \    /::::::\   \:::\    \    /:::/    /      _____    /::::::\   \:::\    \            /:::/    / \:::\    \    /::::::\   \:::\    \    ____    /::::::\    \        /::::::\    \  
     /:::/\:::\    \  /:::/\:::\   \:::\____\  /:::/____/      /\    \  /:::/\:::\   \:::\    \          /:::/    /   \:::\ ___\  /:::/\:::\   \:::\____\  /\   \  /:::/\:::\    \      /:::/\:::\    \ 
    /:::/  \:::\____\/:::/  \:::\   \:::|    ||:::|    /      /::\____\/:::/__\:::\   \:::\____\        /:::/____/  ___\:::|    |/:::/  \:::\   \:::|    |/::\   \/:::/  \:::\____\    /:::/  \:::\____\
   /:::/    \::/    /\::/   |::::\  /:::|____||:::|____\     /:::/    /\:::\   \:::\   \::/    /        \:::\    \ /\  /:::|____|\::/   |::::\  /:::|____|\:::\  /:::/    \::/    /   /:::/    \::/    /
  /:::/    / \/____/  \/____|:::::\/:::/    /  \:::\    \   /:::/    /  \:::\   \:::\   \/____/          \:::\    /::\ \::/    /  \/____|:::::\/:::/    /  \:::\/:::/    / \/____/   /:::/    / \/____/ 
 /:::/    /                 |:::::::::/    /    \:::\    \ /:::/    /    \:::\   \:::\    \               \:::\   \:::\ \/____/         |:::::::::/    /    \::::::/    /           /:::/    /          
/:::/    /                  |::|\::::/    /      \:::\    /:::/    /      \:::\   \:::\____\               \:::\   \:::\____\           |::|\::::/    /      \::::/____/           /:::/    /           
\::/    /                   |::| \::/____/        \:::\__/:::/    /        \:::\   \::/    /                \:::\  /:::/    /           |::| \::/____/        \:::\    \           \::/    /            
 \/____/                    |::|  ~|               \::::::::/    /          \:::\   \/____/                  \:::\/:::/    /            |::|  ~|               \:::\    \           \/____/             
                            |::|   |                \::::::/    /            \:::\    \                       \::::::/    /             |::|   |                \:::\    \                              
                            \::|   |                 \::::/    /              \:::\____\                       \::::/    /              \::|   |                 \:::\____\                             
                             \:|   |                  \::/____/                \::/    /                        \::/____/                \:|   |                  \::/    /                             
                              \|___|                   ~~                       \/____/                                                   \|___|                   \/____/

to the console

jonsterling commented 7 years ago

WHOA, I love that.