Unverified Commit 9121eebd authored by zapashcanon's avatar zapashcanon
Browse files

add index content

parent da243327
# Harnessing Cutting-Edge Technologies <h1 align="center"> Harnessing Cutting-Edge Technologies</h1>
<br />
Hi ! ## State-of-the-art languages for modern solutions
We have years of experience on the research and development of programming languages, formal methods techniques and tools as well as their application in industrial settings. Let’s achieve bold projects together!
<div class="row">
<div class="col-lg-4">
<p><img src="/assets/img/home_industry.png" /></p>
<h2>For industrial partners who face challenges</h2>
<div class="col-lg-4">
<p><img src="/assets/img/home_research.png" /></p>
<h2>For R&D labs who need collaboration</h2>
<div class="col-lg-4">
<p><img src="/assets/img/home_dev.png" /></p>
<h2>For developers to reach mastery</h2>
## Prototyping software solutions for you
...@@ -41,7 +41,9 @@ let render_unsafe ~lang ~title ~content = ...@@ -41,7 +41,9 @@ let render_unsafe ~lang ~title ~content =
<br /> <br />
<br /> <br />
<main> <main>
<%s! content %> <div class="container">
<%s! content %>
<footer class="container"> <footer class="container">
<p>&copy; 2011–2021 OCamlPro &middot; <p>&copy; 2011–2021 OCamlPro &middot;
<a href="https://twitter.com/ocamlpro">Twitter</a> &middot; <a href="https://twitter.com/ocamlpro">Twitter</a> &middot;
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment