HAHAHA

This article is not detailed enough and needs to be expanded. Please help us by adding some more information.

HAHAHA is a joke esolang by User:Yayimhere

axioms(only way to do computation lol)

these are the axioms:

fdhsatuivjsaiduagjfds
gfvsgyutudtyureqwww
>>>>>>>>>>>>>>>><>>
(.).(.).(.).(n)=(.n)
n[]≠[]
n! = ⊥n
AAAAAAAAAA⊥n≠⊤n

where n is an placeholder, and can be any string. theres also the program axiom:

     ;
=====;===================
     ;
     ;⊤⊥p

where p is the program